Archimedes Principle Logic